Dependent Optics
نویسندگان
چکیده
A wide variety of bidirectional data accessors, ranging from mixed optics to functor lenses, can be formalized within a unique framework-dependent optics. Starting two indexed categories, which encode what maps are allowed in the forward and backward directions, we define category dependent establish under assumptions it has coproducts. Different choices categories correspond different families optics: discuss lenses prisms, as well closed We introduce notion Tambara representation use classify contravariant functors optics, thus generalizing profunctor encoding case.
منابع مشابه
Wavelength-Dependent Effects in Maxwell Optics
We present a new formalism for light beam optics starting with an exact eight-dimensional matrix representation of the Maxwell equations. The Foldy-Wouthuysen iterative diagonalization technique is employed to obtain a Hamiltonian description for a system with varying refractive index. Besides, reproducing all the traditional quasiparaxial terms, this method leads to additional contributions, w...
متن کاملThe non-Abelian State-Dependent Gauge Field in Optics
The appearance of the geometrodynamical version of the Pancharantam phase factor in the polarization state of the monochromatic beam was systematically discarded during the topological phases measurements has been shown. It means that not only topological structure of the transformation manifolds has the physical significance but the metric structure of the coherent state space of its realizati...
متن کاملPolarization-dependent tunneling of light in gradient optics.
Reflection-refraction properties of photonic barriers, formed by dielectric gradient nanofilms, for inclined incidence of both S - and P -polarized electromagnetic waves are examined by means of exactly solvable models. We present generalized Fresnel formulas, describing the influence of the nonlocal dispersion on the reflectance and transmittance of single- and double-layer gradient photonic b...
متن کاملHiding an elephant into a matchbox with transformation optics
Based on transformation optics, we propose an illusion device that can make objects look much smaller and different than they actually are. In particular, the device has a capability to hide a large object (like an elephant) into a small one (like a matchbox). Compared to previous proposals for illusion devices, there is no requirement for negative refractive index or for spee...
متن کاملCAD in light optics and electron optics
In 1854 J. C. Maxwell devised his fish-eye lens a sphere with a radially diminishing refractive index [*1. The optical characteristics of this lens, which can produce aperfect image of an object, as the computer plot above suggests, are fairly easy to calculate analytically. This is not generally the case with optical elements of varying refractive index as used today for data transmission. The...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic proceedings in theoretical computer science
سال: 2023
ISSN: ['2075-2180']
DOI: https://doi.org/10.4204/eptcs.380.8